De digitale vraagbaak voor het wiskundeonderwijs

home |  vandaag |  gisteren |  bijzonder |  gastenboek |  wie is wie? |  verhalen |  contact

HOME

samengevat

vragen bekijken

een vraag stellen

hulpjes

zoeken

FAQ

links

twitter

boeken

help

inloggen

colofon

Reageren...

Re: Anova of Crosstabs?

Hoe werkt SLD resolutie?

op dit programma:

W(x,0,x)
W(x,s(y),s(s(z))) - W(x,y,z)

hoe ziet de SLD-refutatie voor goal W(s(0),s(0),x) er uit?

Antwoord

SLD-resolutie staat voor 'Selected Literal resolution on Definite clauses'. Het is een methodiek om logisch afleidingen te maken en is fundamenteel voor declaratieve programmeertalen, zoals Prolog.

Met een 'refutatie' proberen we de waarheid van een uitspraak te bewijzen door te veronderstellen dat ze niet waar is en door afleidingen tot een contradictie te komen.

Op sites zoals http://www.ug.cs.usyd.edu.au/~cs3/comp3006/s1_2002/DPL-HTML/DPL-L11-LP.pdf of http://www.cs.uiowa.edu/~hzhang/c145/notes/5-prolog-2p.pdf vind je hierover meer. Je kan best eens rondkijken op Google met trefwoorden: Prolog, resolution, refutation, sld, ...

Groetjes,
Johan

Gebruik dit formulier alleen om te reageren op de inhoud van de vraag en/of het antwoord hierboven. Voor het stellen van nieuwe vragen kan je gebruik maken van een vraag stellen in het menu aan de linker kant. Alvast bedankt!

Reactie:
	Klik eerst in het tekstvlak voordat je deze knopjes en tekens gebruikt. Pas op: onderstaande knopjes en speciale karakters werken niet bij ALLE browsers! áâæàåãäßçéêèëíîìïñóôòøõöúûùüýÿ½¼¾€£®© $\forall$$\exists$$\neg$$\wedge$$\vee$$\Leftrightarrow$$\Leftarrow$$\Rightarrow$$\emptyset$$\cap$$\cup$$\supset$$\supseteq$$\not\subset$$\subset$$\subseteq$$\in$$\notin$ $\sim$$\equiv$$\ne$$\pm$$\times$$\div$$\otimes$$\oplus$$\pi$$\leftarrow$$\uparrow$$\to$$\downarrow$ $\sqrt{}$$\sum$$\prod$$\infty$$\smallint$$\Delta$$\nabla$$\partial$$\angle$$\bot$$\cong$$\widehat p$ $\alpha$$\beta$$\gamma$$\delta$$\varepsilon$$\phi$$\theta$$\lambda$$\mu$$\rho$$\sigma$$\tau$$\omega$$\chi$$\Gamma$$\vartheta$$\Lambda$$\Omega$$\Psi$$\zeta$ $\mathbf{N}$ $\mathbf{Z}$ $\mathbf{Q}$ $\mathbf{R}$ $\mathbf{C}$
Categorie:	Statistiek
Ik ben:	-------------- Maak een keuze --------------- Leerling onderbouw vmbo-havo-vwo Leerling bovenbouw vmbo Leerling bovenbouw havo-vwo Leerling mbo Student hbo Student universiteit 1ste graad ASO-TSO-BSO Overige TSO-BSO 2de graad ASO 3de graad ASO Student Hoger Onderwijs België Student universiteit België Cursist vavo Docent Ouder Iets anders Beantwoorder
Naam:
Emailadres:
Datum:	19-5-2024